Skip to content

docs: krl AFFIRMATION (real gate run) + scoped Must/Intend/Wish table#36

Merged
hyperpolymath merged 3 commits into
mainfrom
claude/practical-newton-9eFe2
Jun 19, 2026
Merged

docs: krl AFFIRMATION (real gate run) + scoped Must/Intend/Wish table#36
hyperpolymath merged 3 commits into
mainfrom
claude/practical-newton-9eFe2

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

What

Establishes the 2026-06-19 estate rule for krl: a per-repo AFFIRMATION.adoc + a scoped Must/Intend/Wish table.

  • AFFIRMATION.adoc — the No-Bullshit proof-trust attestation, written from gates actually run this session at commit d8b9768. Honest results: MUST + licence/secrets TRUST gates PASS; verify-template, validate-rsr, and container-pinning FAIL loudly (half-instantiated from rsr-template-repo — Justfile name, {project-name} in EXPLAINME, ~8 placeholder files, missing ANCHOR.a2ml + src/interface/abi); PROOF-STATUS reports 0/7 obligations. Real content acknowledged: spec/grammar.ebnf + src/{core,definitions,errors,bridges,…}.
  • docs/identity-fabric/musts-intends-wishes.adoc — krl's own scope + the QuandleDB side as a marked crossover block + cross-repo wiring.

Honest caveats (in the file, surfaced here)

  • just is not installed in this session, so the gate recipe bodies were run directly as bash, not via just. The authoritative run is the maintainer's just-driven one.
  • The affirmation is anchored at d8b9768 (the commit the gates ran against) and is not GPG-signed by the AI party — the owner signs on commit.

Note

This branch also carries the pre-existing unmerged commit d8b9768 ("sharpen four-op glosses, add Retrieve clause + QL-deferral ADR") — included here because it sits on this branch; split it out if you'd rather land it separately.

Scope

Docs only. No spec/src/proof changes.

🤖 Generated with Claude Code

https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2


Generated by Claude Code

claude added 3 commits June 18, 2026 15:32
KRL is QuandleDB's canonical resolution DSL: a database-facing language
whose domain is knot/tangle identity, equivalence, transformation, and
disambiguation. Database-facing but not merely a query language; the two
anti-framings ('a database language' = SQL-for-knots; 'surface DSL over
Tangle' = QuandleDB incidental) are called out explicitly.

Architecture position now enumerates 5 roles, each with the question it
answers: KRL (resolution DSL) -> TangleIR (lowered IR) -> Tangle (compute
substrate) -> QuandleDB (persistence + invariant/equivalence DB) +
Skein.jl (backend library).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2
… ADR

- README 'four KRL operations': add the four-verb glosses (construct/
  transform/resolve/retrieve) and a Retrieve clause stating Retrieve recovers
  resolution-relevant artefacts (presentations, invariants, witnesses,
  equivalence classes, prior resolutions, explanations, provenance) and is NOT
  arbitrary database querying; generic access is an engine-layer affordance.
- docs/decisions/0002-query-language-deferred.adoc: ADR recording that querying
  stays a mode of KRL; a sibling query language is deferred (not rejected)
  behind an explicit trigger list, and if built will be a KRL-family
  projection/reporting dialect over TangleIR, not a rival paradigm.
- CITATION.cff: authorship/citation metadata (anti-commoditisation provenance).
- ROADMAP: fix placeholder title; point Future Directions at the ADR.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2
AFFIRMATION.adoc - No-Bullshit proof-trust attestation for krl at d8b9768, from
gate bodies run THIS session as raw bash (just absent): MUST + licence/secrets
TRUST pass; verify-template + validate-rsr + container-pinning FAIL loudly
(half-instantiated rsr-template - Justfile name, {project-name} in EXPLAINME,
~8 placeholder files, missing ANCHOR.a2ml + src/interface/abi); PROOF-STATUS
0/7. Real content: spec/grammar.ebnf + src/{core,definitions,errors,bridges}.
Toolchain + signature limits disclosed; owner signs on commit.

docs/identity-fabric/musts-intends-wishes.adoc - krl's own Must/Intend/Wish +
marked QuandleDB crossover + cross-repo wiring (2026-06-19 estate rule).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2
@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 38 issues detected

Severity Count
🔴 Critical 4
🟠 High 10
🟡 Medium 24

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Issue in scorecard-enforcer.yml",
    "type": "scorecard_publish_with_run_step",
    "file": "scorecard-enforcer.yml",
    "action": "split_scorecard_publish_job",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in instant-sync.yml",
    "type": "secret_action_without_presence_gate",
    "file": "instant-sync.yml",
    "action": "peter-evans/repository-dispatch",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in scorecard.yml",
    "type": "scorecard_wrapper_missing_job_permissions",
    "file": "scorecard.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Download-and-execute pattern (curl|wget pipe to shell) -- verify integrity before execution (3 occurrences, CWE-494)",
    "type": "shell_download_then_run",
    "file": "/home/runner/work/krl/krl/setup.sh",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "line": 24,
    "reason": "Secret found: Generic API key",
    "type": "secret_detected",
    "file": "/home/runner/work/krl/krl/.envrc",
    "action": "revoke_rotate_and_purge",
    "rule_module": "security_errors",
    "severity": "critical"
  },
  {
    "reason": "Nominal-only SAST in krl: codeql.yml language matrix contains no language present in the repo and lacks `actions`, so CodeQL records zero results on every commit. Remediation: set the CodeQL matrix to `language: actions`.",
    "type": "StaticAnalysis",
    "file": "/home/runner/work/krl/krl",
    "action": "auto_fix",
    "rule_module": "scorecard",
    "severity": "medium",
    "remediation": "Add CodeQL or equivalent SAST workflow.",
    "scorecard_check": "SAST"
  },
  {
    "reason": "1 workflow(s) with tag-pinned (not SHA-pinned) actions in krl",
    "type": "DependencyPinning",
    "file": "/home/runner/work/krl/krl",
    "action": "auto_fix",
    "rule_module": "scorecard",
    "severity": "medium",
    "remediation": "Pin GitHub Actions and Docker base images by SHA hash.",
    "scorecard_check": "Pinned-Dependencies"
  },
  {
    "reason": "Repository has 3 non-main remote branch(es). Policy: single main branch only.",
    "type": "GS007",
    "file": ".",
    "action": "delete_remote_branches",
    "rule_module": "git_state",
    "severity": "medium"
  },
  {
    "reason": "Code scanning (Hypatia): hypatia/structural_drift/SD022 -- Hypatia structural_drift: SD022 -- 7 day(s) old",
    "type": "CSA001",
    "file": "spec/grammar-overview.md",
    "action": "review",
    "rule_module": "code_scanning_alerts",
    "severity": "medium"
  },
  {
    "reason": "Code scanning (Hypatia): hypatia/structural_drift/SD022 -- Hypatia structural_drift: SD022 -- 7 day(s) old",
    "type": "CSA001",
    "file": "docs/practice/AI-CONVENTIONS.adoc",
    "action": "review",
    "rule_module": "code_scanning_alerts",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

@hyperpolymath hyperpolymath marked this pull request as ready for review June 19, 2026 22:31
@hyperpolymath hyperpolymath merged commit 79fd29c into main Jun 19, 2026
14 checks passed
@hyperpolymath hyperpolymath deleted the claude/practical-newton-9eFe2 branch June 19, 2026 22:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants